2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)
Jean-Yves Girard
Категория:
Образование
3.82 Mb
#2
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, 7)
Jean-Yves Girard
,
Yves Lafont
,
Paul Taylor
925 Kb
#3
Cinq conférences sur l'indécidabilité
Nicolas Bouleau
,
Jean-Yves Girard
,
Alain Louveau
615 Kb
#4
The Blind Spot: Lectures on Logic
Jean-Yves Girard
Категория:
Mathematics
3.26 Mb
#5
The Blind Spot: Lectures on Logic
Jean-Yves Girard
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.01 Mb
#6
Proofs and Types
Jean-Yves Girard
,
Yves Lafont
,
Paul Taylor
Категория:
Математика
,
Алгебра
,
Математическая логика
1.37 Mb
#7
Linear Logic
Jean-Yves Girard
Категория:
Математика
1.90 Mb
#8
Typed Lambda Calculi and Applications, 4 conf., TLCA'99
Jean-Yves Girard
Категория:
Cs_Computer science
,
CsLn_Lecture notes
7.35 Mb
#9
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
Thomas Ehrhard
,
Jean-Yves Girard
,
Paul Ruet
,
Philip Scott
3.84 Mb
#10
Advances in Linear Logic (London Mathematical Society Lecture Note Series)
Jean-Yves Girard
,
Yves Lafont
,
Laurent Regnier
3.36 Mb
#11
Linear logic in computer science
Thomas Ehrhard
,
Jean-Yves Girard
,
Paul Ruet
,
Philip Scott
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.28 Mb
#12
Advances in linear logic
Jean-Yves Girard
,
Yves Lafont
,
Laurent Regnier
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.38 Mb
